<HTML><HEAD><TITLE>alldifferent(+Vars, ++Capacity)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(ic_global)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>alldifferent(+Vars, ++Capacity)</H1>
Vars contains at most Capacity elements of each value
<DL>
<DT><EM>Vars</EM></DT>
<DD>A collection (a la collection_to_list/2) of variables or integers
</DD>
<DT><EM>Capacity</EM></DT>
<DD>Maximum number of times a value can appear in Vars
</DD>
</DL>
<H2>Description</H2>
    This is a generalization of alldifferent/1.  It allows repeated elements
    in the collection, but there can be no more than Capacity elements with
    a particular value.
    </P><P>
    Any input variables which do not already have finite bounds will
    be given default bounds of -10000000 to 10000000.</P>
<H2>See Also</H2>
<A HREF="../../lib/ic_global/alldifferent-1.html">alldifferent / 1</A>, <A HREF="../../lib/lists/collection_to_list-2.html">lists : collection_to_list / 2</A>
</BODY></HTML>
